Abstract:Agent model is the foundation for studying the multi-agent system.Modal logic and action formalism are the major formal tools.The major drawback of agent model based on modal logic is the separation of theory and the realization.Action formalisms such as the situation calculus use full first-order logic to describe the state of the world,and the pre-and post-conditions of actions.Consequently,reasoning in such formalisms is undecidable.Solid theoretical foundations of agent design should be based on theories of knowledge representation and reasoning.Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic and has become the foundation of the semantic web.Description logic-based ontologies play a key role both in agent society and in the semantic web.Agents and semantic web are symbiosis and integration.According to the characteristics and requirements of modeling agent,description logic with its extension is proposed to describe the mental states about agent,which reasonably integrates the static,dynamic and uncertainty knowledge representation and reasoning.In this paper,we propose an action formalism that is based on description logics.In particular,description logic concepts can be used to describe the state of the world,and the pre-and post-conditions of actions.Based on this general action formalism,we have related the reasoning about action to ABox-Update.However,the experience in building practical applications has revealed several shortcomings of description logics.Epistemic logic is the logic of knowledge and belief.A hybrid epistemic description logics(EDL) system of belief and knowledge is built up by combining with epistemic logic,which compensates for the shortage of description logic in describing rules.The rule component and the ontology component of the hybrid system are treated distinctly.Reasoning is done by interfacing existing rule reasoner with existing ontology reasoner.The syntax and semantics and axiom system of EDL are presented.This framework provides decidable reasoning services and supports effective representation and reasoning of the dynamic process and running mechanism.

Modeling Fuzzy Belief with Plausibility Degree in Intelligent Systems

Linguistic Modelling Based on Semantic Similarity Relation among Linguistic Labels

On Truth-Gaps, Bipolar Belief and the Assertability of Vague Propositions

Fuzzy Cognitive Map Based Agent Reasoning Model

Multi-Agent Fuzzy Probability Belief Logic

Modeling belief, capability and promise for cognitive agents – a modal logic approach

Interval-Valued Agent Belief Model Based on New Fuzzy Set Theory

A System for Modeling Robotic Intellectual Belief

Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic

Probabilistic Models for Agents' Beliefs and Decisions

A Novel Plausible Reasoning Based on Intuitionistic Fuzzy Propositional Logic and Its Application in Decision Making.

A Fuzzy Dynamic Belief Logic System.

Representing and Reasoning on Fuzzy UML Models: A Description Logic Approach.

Agent Beliefs Model in Interval Valued Semantics

Generalization of Belief and Plausibility Functions to Fuzzy Sets

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

A Logic of Knowledge Based on Abstract Arguments

Toward a formal theory of belief, capability and promise incorporating temporal aspect

A Cognitive Model Based on Epistemic Fluent Using Linguistic Variables for Autonomous Agents

Planning by case-based reasoning based on fuzzy logic

A unified logic framework for knowledge representation and reasoning to agent