Intelligent agent reasoning algorithm based on state calculation and programing language

A technology of intelligent agents and programming languages, applied in the direction of program control devices, etc.

Inactive Publication Date: 2014-10-08
JIANGSU SHENGSHIYUNTU IOT TECH CO LTD
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0002] Although the agent theory and technology provide a new way for the development and realization of complex distributed systems, how to endow the agent with higher intelligence, that is, how to better realize the knowledge representation and reasoning of the agent, still has many problems in theory and implementation technology. unresolved issues

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Intelligent agent reasoning algorithm based on state calculation and programing language
  • Intelligent agent reasoning algorithm based on state calculation and programing language
  • Intelligent agent reasoning algorithm based on state calculation and programing language

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] 1) Propose a reasoning algorithm for intelligent agents - state calculus

[0037] State calculus is based on axiomatic set theory, and introduces positive and negative flow sets to define incomplete states, so as to describe the state of the dynamic system, and then describe the knowledge about the state of the dynamic system, which overcomes the inherent defects of flow calculus in state representation. The subject itself can be regarded as a dynamic system existing in a certain environment, and the state of the subject will change with the interaction between the subject and the environment.

[0038] The axioms and formulas in state calculus are as follows:

[0039] 1) State knowledge formula in state calculus

[0040] The state knowledge formula Ω(State(s)) about State(s) is defined by Knows(f, State(s)), Knows(N(f), State(s)), and ordinary atomic formulas By logical connectives ∧, Formed formula, namely

[0041] Ω ( ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses an intelligent agent reasoning algorithm based on state calculation and a programing language. On the basis of an axiomatic set theory, a positive flow set and a negative flow set are introduced for defining a state. The reasoning algorithm overcomes the native defects on the state representation of flow calculation, gives a state formula based on an incomplete state and a knowledge representation method, and solves the problem that a modal logic is difficult to express knowledge normally. An axiomatic system for state calculation and a forward inference mechanism are provided to prove that a state knowledge update axiom gives a natural effective solution for expressing and reasoning a frame problem. The invention provides and realizes a STEX (State Calculus Executor).

Description

technical field [0001] The invention relates to an intelligent agent reasoning algorithm and programming language based on state calculus, and belongs to the technical field of intelligent agents. Background technique [0002] Although the agent theory and technology provide a new way for the development and realization of complex distributed systems, how to endow the agent with higher intelligence, that is, how to better realize the knowledge representation and reasoning of the agent, still has many problems in theory and implementation technology. unresolved issues. This has been a research hotspot in fields such as artificial intelligence and computer science. [0003] As an intelligent software entity, the subject is active in a dynamically changing environment and requires certain knowledge and ability, rather than complete knowledge and ability. As far as knowledge is concerned, the subject must have certain domain knowledge and mental states such as beliefs, goals, ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/44
Inventor 吴庆朱会娟施炜雷史晓亮
Owner JIANGSU SHENGSHIYUNTU IOT TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap