artificial intelligence intelligence science academia cognition psychology scientific modeling cybernetics soft computing cognitive model strong ai distributed logic mathematics parallel abstraction philosophy mathematical logic petri net logic programming concurrency game semantics fuzzy logic neural networks type-2 fuzzy sets and systems computational intelligence logic in computer science fuzzy control system