Cart (Loading....) | Create Account
Close category search window
 

Modeling societies of agents using modal logics

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Burge, J.D. ; Dept. of Comput. Sci., North Carolina A&T State Univ., Greensboro, NC, USA ; Esterline, A.C.

Presents a framework that shows how epistemic logic and deontic logic can be used to model a multi-agent system consisting of humans and non-human agents. Modeling agents with epistemic and deontic logic also captures the interdependencies between human and non-human agents. Epistemic logic addresses belief and knowledge (notably common knowledge), and, in many applications in computer science, it specifically addresses knowledge acquired by communication. With deontic logic, we represent obligations, prohibitions and permissions applying to agents. Axioms and rules of inference represent a deductive system for modal logics, and Kripke structures furnish semantic models in which propositions are evaluated to true or false. We are concerned with agents' actions, their attitudes and what they know. Our framework emphasizes the ability to maintain ongoing relationships among agents. Such a system is called reactive. We contrast a reactive system with a transformational system, which, given a set of inputs, produces outputs upon program termination. In developing this framework, we address the concepts of a multi-agent/multi-human collaboration

Published in:

Southeastcon 2000. Proceedings of the IEEE

Date of Conference:

2000

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.